Two Techniques to Improve Finite Model Search
نویسندگان
چکیده
This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting some selected clauses so as to trigger added constraint propagations. The other approach uses a dynamic lookahead strategy to both filter out inconsistent domain values and select the most appropriate branching variable according to a first fail heuristic.
منابع مشابه
APPLICATION OF FINITE ELEMENT MODEL UPDATING FOR DAMAGE ASSESSMENT OF SPACE STRUCTURE USING CHARGED SYSTEM SEARCH ALGORITHM
Damage assessment is one of the crucial topics in the operation of structures. Multiplicities of structural elements and joints are the main challenges about damage assessment of space structure. Vibration-based damage evaluation seems to be effective and useful for application in industrial conditions and the low-cost. A method is presented to detect and assess structural damages from changes ...
متن کاملStructural Reliability: An Assessment Using a New and Efficient Two-Phase Method Based on Artificial Neural Network and a Harmony Search Algorithm
In this research, a two-phase algorithm based on the artificial neural network (ANN) and a harmony search (HS) algorithm has been developed with the aim of assessing the reliability of structures with implicit limit state functions. The proposed method involves the generation of datasets to be used specifically for training by Finite Element analysis, to establish an ANN model using a proven AN...
متن کاملPrivate Key based query on encrypted data
Nowadays, users of information systems have inclination to use a central server to decrease data transferring and maintenance costs. Since such a system is not so trustworthy, users' data usually upkeeps encrypted. However, encryption is not a nostrum for security problems and cannot guarantee the data security. In other words, there are some techniques that can endanger security of encrypted d...
متن کاملLanguage modelling for efficient beam-search
This paper considers the problems of estimating bigram language models and of efficiently representing them by a finite state network, which can be employed by an hidden Markov model based, beam-search, continuous speech recognizer. A review of the best known bigram estimation techniques is given together with a description of the original Stacked model. Language model comparisons in terms of p...
متن کاملAppropriate Loading Techniques in Finite Element Analysis of Underground Structures
Stability of underground structures is assessed by comparing rock strength with induced stresses resulted from ground stresses. Rock mass surrounding the opening may fail either by fracture or excessive deformation caused. Accurate calculation of induced stresses is therefore fundamental in the stability analysis of an opening. Although numerical methods, particularly finite element method, are...
متن کامل